(0 17 7)(1 16 3)(2 6 4)(5 13 9)(8 15 11)(10 14 12)
ALLOWS (11/8)-SEQUENCE
1: (8 11 15)
(0 17 7)(1 16 3)(2 6 4)(5 13 9)(8 11 15)(10 14 12)
2: (5 13 9)
(0 17 7)(1 16 3)(2 6 4)(5)(8 11 15)(9)(10 14 12)(13)
3: (8 11 15)
(0 17 7)(1 16 3)(2 6 4)(5)(8)(9)(10 14 12)(11)(13)(15)
4: (10 14 12)
(0 17 7)(1 16 3)(2 6 4)(5)(8)(9)(10)(11)(12)(13)(14)(15)